Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
371	Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics
372	Games and Economic Behavior–234 www.elsevier.com/locate/geb Admissibility and common belief Geir B. Asheim a,∗ and Martin Dufwenberg b a Department of Economics, University of Oslo, PO Box 1095 Blindern Add to Reading List Source URL: folk.uio.no Language: English - Date: 2003-05-14 08:00:11 Solution concept Strategic dominance Nash equilibrium Extensive-form game Rational choice theory Normal-form game Determinacy Modal logic Strategy Game theory Problem solving Logic
373	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics
374	Knowledge, Belief, Probabilities, Updates, Model Checking Jan van Eijck CWI & ILLC, Amsterdam LoLaCo Guest Lecture, Nov 17, 2014 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 04:48:09 Philosophy of mathematics Statistical inference Bayesian statistics Probability interpretations Artificial intelligence Statistical hypothesis testing Bayesian probability German tank problem Epistemic modal logic Statistics Science Logic
375	Belief, Probabilities, Updates, and Model Checking Jan van Eijck CWI & ILLC, Amsterdam October 2, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:26:40 Modal logic Knowledge Epistemology Epistemic modal logic Logic Branches of philosophy Philosophy Science
376	ORM 2 Constraint Verbalization: Part 1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2006-07-30 13:54:40 Data modeling Programming paradigms Abstraction Object-Role Modeling Predicate Modal logic Norm Finitary relation Logic Mathematical logic Mathematics
377	The Inverse Method for Many-Valued Logics? Laura Kov´ acs1 , Andrei Mantsivoda2 , and Andrei Voronkov3 1 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:24:41 Sequent Intuitionistic logic Method of analytic tableaux Monotonicity of entailment Proof calculus Rule of inference Proof procedure Modal logic Natural deduction Logic Mathematical logic Proof theory
378	Dynamic Logic for Security (DYLOS) Abstract The research proposed in this document focuses on the application of dynamic logic in the analysis and design of security protocols. We adopt the intentional approach of multi Add to Reading List Source URL: www.cs.rug.nl Language: English - Date: 2009-02-27 08:29:43 Modal logic Logic in computer science Non-classical logic Philosophical logic Artificial intelligence Epistemic modal logic Burrows–Abadi–Needham logic Temporal logic Dynamic logic Logic Mathematical logic Mathematics
379	On the use of questionnaires in semantic fieldwork: A case study in modality Jozina Vander Blok Proceedings of Conference on Language Documentation and Linguistic Theory 4 Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2014-11-06 08:59:05 Grammar Philosophical logic Modal logic Semantics Linguistic modality Epistemic modality Evidentiality Deontic modality Auxiliary verb Logic Linguistics Grammatical moods
380	7 CLOSET DRAMAS Kieran Daly 7 CLOSET DRAMAS1 Kieran Daly Add to Reading List Source URL: dl.gauss-pdf.com Language: English - Date: 2014-11-25 19:45:00 Mathematical logic Philosophy of language Philosophical logic Propositional calculus Trivialism Function Proposition Modal logic Existence Logic Mathematics Ontology

UPDATE